ar X iv : 1 70 2 . 03 09 6 v 6 [ cs . L O ] 3 M ay 2 01 7 A set - theoretic approach to ABox reasoning services ( Extended Version )
نویسنده
چکیده
In this paper we consider the most common ABox reasoning services for the description logic DL〈4LQS〉(D) (DL D , for short) and prove their decidability via a reduction to the satisfiability problem for the set-theoretic fragment 4LQS. The description logic DL D is very expressive, as it admits various concept and role constructs, and data types, that allow one to represent rule-based languages such as SWRL. Decidability results are achieved by defining a generalization of the conjunctive query answering problem, called HOCQA (Higher Order Conjunctive Query Answering), that can be instantiated to the most widespread ABox reasoning tasks. We also present a KE-tableau based procedure for calculating the answer set from DL D knowledge bases and higher order DL D conjunctive queries, thus providing means for reasoning on several well-known ABox reasoning tasks. Our calculus extends a previously introduced KE-tableau based decision procedure for the CQA problem.
منابع مشابه
ar X iv : 1 70 5 . 03 17 4 v 1 [ m at h . R T ] 9 M ay 2 01 7 PYRAMIDS AND 2 - REPRESENTATIONS
We describe a diagrammatic procedure which lifts strict monoidal actions from additive categories to categories of complexes avoiding any use of direct sums. As an application, we prove that every simple transitive 2-representation of the 2-category of projective bimodules over a finite dimensional algebra is equivalent to a cell 2-representation.
متن کاملar X iv : h ep - t h / 01 03 09 3 v 1 1 3 M ar 2 00 1 Physical Aspects of the Space - Time Torsion
متن کامل
Sensitivity Properties of Intermittent Control
The sensitivity properties of intermittent control are analysed and the conditions for a limit cycle derived theoretically and verified by simulation. 1 ar X iv :1 70 5. 08 22 8v 1 [ cs .S Y ] 2 2 M ay 2 01 7
متن کاملar X iv : h ep - t h / 01 03 23 6 v 2 1 7 M ay 2 00 1 1 Supersymmetric Model with Grassmann - odd Lagrangian
A supersymmetric D = 1, N = 1 model with a Grassmann-odd Lagrangian is proposed which, in contrast to the model with an even Lagrangian, contains not only a kinetic term but also an interaction term for the coordinates entering into one real scalar Grassmann-even (bosonic) superfield.
متن کامل